Logical framework for smart discussion in learning process

Embedding SP’s in the PRSP-Process A Framework for Discussion

A Conceptual Framework for Smart Hospital towards Industry 4.0

Background: The fourth industrial revolution consists of combining network devices with cloud computing methods and analyzing large data and artificial intelligence, which makes it possible to call such an infrastructure smart. In a Smart Hospital, all things and devices are designed to be connected and integrated, thus achieving better patient care, increasing efficiency and reducing time wast...

A Logical Framework for Graph Theoretical Decision Tree Learning

We present a logical approach to graph theoretical learning that is based on using alphabetic substitutions for modelling graph morphisms. A classiied graph is represented by a deenite clause that possesses variables of the sort node for representing nodes and atoms for representing the edges. In contrast to the standard logical semantics, different node variables are assumed to denote diierent...

A Logical Relations for a Logical Framework

Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical frameworks. We formulate a theory of logical relat...

A General Framework for Learning Analytic in a Smart Classroom

In this paper, we propose the utilization of the “Learning Analytics” paradigm in a Smart Classroom, a classroom that integrates artificial intelligence technology on the educational process. Learning Analytics can extract knowledge from the Smart Classroom platform, to better understand students and his/her learning processes. In this way, a Smart Classroom can understand and optimize the lear...